#ifndef PINCTRL_OSDEP_H_
#define PINCTRL_OSDEP_H_

#include <linux/list.h>
#include <common.h>
//#include <asm/arch/hardware.h>

#define OS_LIST_INIT LIST_HEAD_INIT
#define OS_LIST struct list_head
#define OS_PRINT printf
#define OS_LIST_EMPTY INIT_LIST_HEAD
#define OS_LIST_DEL list_del
#define OS_NULL NULL

#define PINCTRL_ADD_DEVICE(name)                    	\
        list_add(&pinctrl_dev_##name.list,		\
	list)

#define PAD_NUM             (65)

#endif /* PINCTRL_OSDEP_H_ */
